Procédures binaires ajustables et programmes cycliquesARTYUKHOV, V. L; KUZNETSOV, B. P; SHALYTO, A. A et al.Avtomatika i telemehanika. 1984, Num 11, pp 112-119, issn 0005-2310Article

A connotational theory of program structureROYER, J. S.Lecture notes in computer science. 1987, Vol 273, issn 0302-9743, V-186 pSerial Issue

Prozessgerechter Entwurf von Monitoren in Echtzeitbetriebssystemen = La conception (considérant le procédé) des moniteurs de systèmes d'exploitation = Process-considering design of real time operating systems monitorsHRUZ, B.Elektronische Rechenanlagen. 1984, Vol 26, Num 1, pp 31-38, issn 0013-5720Article

A systematic approach to language constructs for concurrent programsBROY, M; BAUER, F. L.Science of computer programming. 1984, Vol 4, Num 2, pp 103-139, issn 0167-6423Article

An examination of the resolution of structure clashes by structure inversionSTUBBS, M.Computer journal (Print). 1984, Vol 27, Num 4, pp 354-361, issn 0010-4620Article

A UNIX system implementation for system/370FELTON, W. A; MILLER, G. L; MILNER, J. M et al.AT&T Bell Laboratories technical journal. 1984, Vol 63, Num 8, pp 1751-1767, 2Article

Efficacité du test de la structure des modules de programmesBLAU, S. A; LIPAEV, V. V; POZIN, B. A et al.Avtomatika i telemehanika. 1984, Num 4, pp 139-148, issn 0005-2310Article

Nontrival definability by flow-chart programsURZYCZYN, P.Information and control. 1983, Vol 58, Num 1-3, pp 59-87, issn 0019-9958Article

A complexity measure derivation method based on analysis of complexity factors in program structureTAKAHASHI, M; NAGASE, A; KURODA, K et al.Review of the electrical communication laboratories. 1984, Vol 32, Num 1, pp 41-48, issn 0029-067XArticle

On the distribution of statements in PASCALprogramsSCHROEDER, A.Rapports techniques ― I.N.R.I.A. 1984, Num 39, issn 0249-0803, 14 p.Serial Issue

Specification statements and refinementMORGAN, C; ROBINSON, K.IBM journal of research and development. 1987, Vol 31, Num 5, pp 546-555, issn 0018-8646Article

Horizontal Composability RevisitedSANNELLA, Donald; TARLECKI, Andrzej.Algebra, meaning, and computation (essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday). Lecture notes in computer science. 2006, pp 296-316, issn 0302-9743, isbn 3-540-35462-X, 1Vol, 21 p.Book Chapter

Object-oriented programming : Regaining the excitementBLACK, A. P.Lecture notes in computer science. 1999, pp 519-528, issn 0302-9743, isbn 3-540-66156-5Conference Paper

An introduction to a formal theory of dependence analysisUTPAL BANERJEE.Journal of supercomputing. 1988, Vol 2, Num 2, pp 133-149, issn 0920-8542Article

Structures des systèmes de calcul très performants et leurs relations avec les structures d'algorithmes et de programmesGOLOVKIN, B. A.Izvestiâ Akademii nauk SSSR. Tehničeskaâ kibernetika. 1985, Num 5, pp 194-229, issn 0002-3388Article

Program development by inductive stepwise refinementDROMEY, R. G.Software, practice & experience. 1985, Vol 15, Num 1, pp 1-28, issn 0038-0644Article

Structure du logiciel des périphériques programmés de signalisation du système MT 20/25 = Structure of programmed peripheral software of MT 20/25 system signallingRAVEL, F.1984, 39 p.Report

CrocoCosmosLEWERENTZ, Claus; SIMON, Frank; STEINBRÜCKNER, Frank et al.Lecture notes in computer science. 2002, pp 446-447, issn 0302-9743, isbn 3-540-43309-0Conference Paper

Some empirical observations on program behavior with applications to program restructuringPEACHEY, J. B; BUNT, R. B; COLBOURN, C. J et al.IEEE transactions on software engineering. 1985, Vol 11, Num 2, pp 188-193, issn 0098-5589Article

Subtypes and quantification. ReplyVOLPANO, D. M; BURTON, F. W.ACM transactions on programming languages and systems. 1991, Vol 13, Num 4, pp 631-633, issn 0164-0925Article

Extending graph rewriting for refactoringVAN EETVELDE, Niels; JANSSENS, Dirk.Lecture notes in computer science. 2004, pp 399-415, issn 0302-9743, isbn 3-540-23207-9, 17 p.Conference Paper

Skel-BSP: Performance portability for skeletal programmingZAVANELLA, A.Lecture notes in computer science. 2000, pp 290-299, issn 0302-9743, isbn 3-540-67553-1Conference Paper

An algebraic characterization of typability in ML with subtypingBENKE, M.Lecture notes in computer science. 1999, pp 104-119, issn 0302-9743, isbn 3-540-65719-3Conference Paper

Model-checking : A tutorial introductionMÜLLER-OLM, M; SCHMIDT, D; STEFFEN, B et al.Lecture notes in computer science. 1999, pp 330-354, issn 0302-9743, isbn 3-540-66459-9Conference Paper

Reflecting Java into SchemeANDERSON, K. R; HICKEY, T. J.Lecture notes in computer science. 1999, pp 154-174, issn 0302-9743, isbn 3-540-66280-4Conference Paper